Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
101	Easy and engaging proofs – Dr. Paul Brown Proof is most interesting when you do it yourself. For our students to create proofs, they need motivation – and confidence that the task can be accomplished. Successful expe Add to Reading List Source URL: schools.reap.org.nz Language: English - Date: 2014-10-23 07:13:58 Euclidean plane geometry Mathematical proofs Mathematical logic Triangles Triangle geometry Proof without words Parallelogram Triangle Polygon Geometry Mathematics Euclidean geometry
102	Easy and Engaging Proofs Paul Brown Proof is most interesting when you do it yourself. For our students to create proofs, they need motivation – and confidence that the task can be accomplished. Successful experience a Add to Reading List Source URL: schools.reap.org.nz Language: English - Date: 2014-10-23 07:13:58 Euclidean plane geometry Mathematical proofs Mathematical logic Triangles Triangle geometry Proof without words Parallelogram Triangle Polygon Geometry Mathematics Euclidean geometry
103	CS109B Notes for LectureWhy Resolution? Given how ugly search for proofs seems to be, and given that in general it takes exponential time to nd a proof of a true statement of length n, it is Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:14 Rules of inference Propositional calculus Automated theorem proving Resolution Literal Deduction theorem SLD resolution Logic Mathematical logic Mathematics
104	Lightweight Consistency Enforcement Schemes for Distributed Proofs with Hidden Subtrees (Extended Version)∗ Adam J. Lee Kazuhiro Minami Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:19 Mathematical proof Public-key cryptography Forcing Database Philosophy of mathematics Mathematical logic Mathematics Logic
105	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
106	Confidentiality-Preserving Distributed Proofs of Conjunctive Queries Adam J. Lee† Kazuhiro Minami‡ Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:19 Access control list Conj Man-in-the-middle attack Public-key cryptography Mathematical proof Communications protocol Data Information Mathematics
107	Termination Proofs Ordinal Ranking Length Functions Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-25 09:59:32 Theoretical computer science Functions and mappings ELEMENTARY Ordinal number Termination analysis Function Mathematics Computability theory Mathematical logic
108	Mathematical practice, crowdsourcing, and social machines Ursula Martin and Alison Pease arXiv:1305.0900v1 [cs.SI] 4 MayQueen Mary University of London Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-05-06 20:33:59 Philosophy of mathematics Mathematical logic Proofs and Refutations Imre Lakatos Conjecture Mathematical proof MathOverflow Theorem Mathematical practice Mathematics Science Logic
109	CS109A Notes for LectureAssignments With Replacements We are given n \items," to each of which we must assign one of k \values." Each value may be used any number of Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:03 Inductive reasoning Mathematical induction Mathematical logic Proof theory Integer sequences Binomial coefficient Multinomial theorem Mathematics Combinatorics Mathematical proofs
110	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic

UPDATE